Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
Identifieur interne : 003023 ( Main/Exploration ); précédent : 003022; suivant : 003024Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
Auteurs : Mathias Hülsbusch [Allemagne] ; Barbara König [Allemagne] ; Arend Rensink [Pays-Bas] ; Maria Semenyak [Allemagne] ; Christian Soltenborn [Allemagne] ; Heike Wehrheim [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.
Url:
DOI: 10.1007/978-3-642-16265-7_14
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002A77
- to stream Istex, to step Curation: 002A40
- to stream Istex, to step Checkpoint: 000785
- to stream Main, to step Merge: 003080
- to stream Main, to step Curation: 003023
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques</title><author><name sortKey="Hulsbusch, Mathias" sort="Hulsbusch, Mathias" uniqKey="Hulsbusch M" first="Mathias" last="Hülsbusch">Mathias Hülsbusch</name></author><author><name sortKey="Konig, Barbara" sort="Konig, Barbara" uniqKey="Konig B" first="Barbara" last="König">Barbara König</name></author><author><name sortKey="Rensink, Arend" sort="Rensink, Arend" uniqKey="Rensink A" first="Arend" last="Rensink">Arend Rensink</name></author><author><name sortKey="Semenyak, Maria" sort="Semenyak, Maria" uniqKey="Semenyak M" first="Maria" last="Semenyak">Maria Semenyak</name></author><author><name sortKey="Soltenborn, Christian" sort="Soltenborn, Christian" uniqKey="Soltenborn C" first="Christian" last="Soltenborn">Christian Soltenborn</name></author><author><name sortKey="Wehrheim, Heike" sort="Wehrheim, Heike" uniqKey="Wehrheim H" first="Heike" last="Wehrheim">Heike Wehrheim</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:B4B770D2AC41DAA099E689919ADAFCAFDC13E672</idno><date when="2010" year="2010">2010</date><idno type="doi">10.1007/978-3-642-16265-7_14</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-6XML146X-H/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002A77</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002A77</idno><idno type="wicri:Area/Istex/Curation">002A40</idno><idno type="wicri:Area/Istex/Checkpoint">000785</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000785</idno><idno type="wicri:doubleKey">0302-9743:2010:Hulsbusch M:showing:full:semantics</idno><idno type="wicri:Area/Main/Merge">003080</idno><idno type="wicri:Area/Main/Curation">003023</idno><idno type="wicri:Area/Main/Exploration">003023</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques</title><author><name sortKey="Hulsbusch, Mathias" sort="Hulsbusch, Mathias" uniqKey="Hulsbusch M" first="Mathias" last="Hülsbusch">Mathias Hülsbusch</name><affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen</wicri:regionArea><wicri:noRegion>Universität Duisburg-Essen</wicri:noRegion><wicri:noRegion>Universität Duisburg-Essen</wicri:noRegion></affiliation></author><author><name sortKey="Konig, Barbara" sort="Konig, Barbara" uniqKey="Konig B" first="Barbara" last="König">Barbara König</name><affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen</wicri:regionArea><wicri:noRegion>Universität Duisburg-Essen</wicri:noRegion><wicri:noRegion>Universität Duisburg-Essen</wicri:noRegion></affiliation></author><author><name sortKey="Rensink, Arend" sort="Rensink, Arend" uniqKey="Rensink A" first="Arend" last="Rensink">Arend Rensink</name><affiliation wicri:level="4"><country xml:lang="fr">Pays-Bas</country><wicri:regionArea>Department of Computer Science, University of Twente</wicri:regionArea><placeName><settlement type="city">Enschede</settlement><region nuts="2">Overijssel</region></placeName><orgName type="university">Université de Twente</orgName></affiliation></author><author><name sortKey="Semenyak, Maria" sort="Semenyak, Maria" uniqKey="Semenyak M" first="Maria" last="Semenyak">Maria Semenyak</name><affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Institut für Informatik, Universität Paderborn</wicri:regionArea><wicri:noRegion>Universität Paderborn</wicri:noRegion><wicri:noRegion>Universität Paderborn</wicri:noRegion></affiliation></author><author><name sortKey="Soltenborn, Christian" sort="Soltenborn, Christian" uniqKey="Soltenborn C" first="Christian" last="Soltenborn">Christian Soltenborn</name><affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Institut für Informatik, Universität Paderborn</wicri:regionArea><wicri:noRegion>Universität Paderborn</wicri:noRegion><wicri:noRegion>Universität Paderborn</wicri:noRegion></affiliation></author><author><name sortKey="Wehrheim, Heike" sort="Wehrheim, Heike" uniqKey="Wehrheim H" first="Heike" last="Wehrheim">Heike Wehrheim</name><affiliation wicri:level="1"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Institut für Informatik, Universität Paderborn</wicri:regionArea><wicri:noRegion>Universität Paderborn</wicri:noRegion><wicri:noRegion>Universität Paderborn</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.</div></front></TEI><affiliations><list><country><li>Allemagne</li><li>Pays-Bas</li></country><region><li>Overijssel</li></region><settlement><li>Enschede</li></settlement><orgName><li>Université de Twente</li></orgName></list><tree><country name="Allemagne"><noRegion><name sortKey="Hulsbusch, Mathias" sort="Hulsbusch, Mathias" uniqKey="Hulsbusch M" first="Mathias" last="Hülsbusch">Mathias Hülsbusch</name></noRegion><name sortKey="Konig, Barbara" sort="Konig, Barbara" uniqKey="Konig B" first="Barbara" last="König">Barbara König</name><name sortKey="Semenyak, Maria" sort="Semenyak, Maria" uniqKey="Semenyak M" first="Maria" last="Semenyak">Maria Semenyak</name><name sortKey="Soltenborn, Christian" sort="Soltenborn, Christian" uniqKey="Soltenborn C" first="Christian" last="Soltenborn">Christian Soltenborn</name><name sortKey="Wehrheim, Heike" sort="Wehrheim, Heike" uniqKey="Wehrheim H" first="Heike" last="Wehrheim">Heike Wehrheim</name></country><country name="Pays-Bas"><region name="Overijssel"><name sortKey="Rensink, Arend" sort="Rensink, Arend" uniqKey="Rensink A" first="Arend" last="Rensink">Arend Rensink</name></region></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003023 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 003023 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:B4B770D2AC41DAA099E689919ADAFCAFDC13E672
|texte= Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
}}
| This area was generated with Dilib version V0.6.33. |  |